discrete category

[数] 离散范畴